این پایگاه با مشارکت موسسه علمی - فرهنگی دارالحدیث و مرکز تحقیقات کامپیوتری علوم اسلامی (نور) اداره می شود
مسئولیت صحت اطلاعات بر عهده کتابخانه ها و حقوق معنوی اطلاعات نیز متعلق به آنها است

1. <The> Formal Description Technique Lotos: Results of the ESPRIT/ SEDOS Project

پدیدآورنده:

کتابخانه: كتابخانه مركزی و مركز اطلاع رسانی دانشگاه شاهد (تهران)

موضوع: Electronic data processing- Distributed processind,ESPRIT/ SEDOS Project,System design

2. The Formal description technique Estelle: : results of the ESPRIT/SEDOS Project

پدیدآورنده:

کتابخانه: كتابخانه پژوهشگاه نیرو (تهران)

موضوع: ، Electronic data processing- Distributed processing,، ESPRIT/SEDOS Project,، System design